symbolic logic

An operation that follows the rules of symbolic logic. Loosely, a mathematical or logic operator.

依据数理逻辑法则进行的操作或运算。不严格地说，一种数学或逻辑运算符。

Of or relating to symbolic logic.

熟练于逻辑符号的人.

George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.

乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家.

Study on Cooperative Innovation Feat's Symbolic Logic Model of U/ I Knowledge Alliance

U/I知识联盟协同创新绩效的数理分析模型

read more about dr. george boole, the inventor of symbolic logic, after whom booleans are named.

阅读关于GeorgeBoole博士（符号逻辑的发明者）的更多内容，布尔型就是因他而得名的。

Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.

元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.

This paper gives a symbolic model checking algorithm for the temporal logic CTL~.

提出了一个关于时态逻辑CTL的符号化模型检测算法。

clearly the infamous inventor of symbolic logic, dr. george boole -- see resources -- would feel right at home.

显然，“声名狼籍的”符号逻辑发明者GeorgeBoole博士—请参阅参考资料—会觉得这些选项很亲切。